global color=blue
circle(137.3834251247d, -9.7056090181d, 7.47")
-circle(137.3834251247d, -9.7056090181d, 2.99")