global color=blue
circle(137.3953475766d, -9.7919780608d, 11.28")
-circle(137.3953475766d, -9.7919780608d, 4.51")