global color=blue
circle(15.5019119721d, -71.5772214194d, 7.38")
-circle(15.5019119721d, -71.5772214194d, 2.95")