global color=blue
circle(124.2423651405d, -7.6960572936d, 7.38")
-circle(124.2423651405d, -7.6960572936d, 2.95")