global color=blue
circle(137.5272423413d, -9.7934357828d, 15.15")
-circle(137.5272423413d, -9.7934357828d, 6.06")