global color=blue
circle(137.4510494286d, -9.7228678815d, 7.38")
-circle(137.4510494286d, -9.7228678815d, 2.95")