global color=blue
circle(137.5025920873d, -9.7737592934d, 8.63")
-circle(137.5025920873d, -9.7737592934d, 3.45")