global color=blue
circle(15.1232906573d, -71.5606314112d, 9.25")
-circle(15.1232906573d, -71.5606314112d, 3.70")