global color=blue
circle(137.3662052201d, -9.7091135691d, 9.47")
-circle(137.3662052201d, -9.7091135691d, 3.79")