global color=blue
circle(22.8747297815d, -6.9943517838d, 14.80")
-circle(22.8747297815d, -6.9943517838d, 5.92")