global color=blue
circle(124.1870853320d, -7.7180835810d, 7.38")
-circle(124.1870853320d, -7.7180835810d, 2.95")