global color=blue
circle(192.9772902155d, -10.5110285255d, 12.58")
-circle(192.9772902155d, -10.5110285255d, 5.03")