global color=blue
circle(124.2554084784d, -7.5742407674d, 7.38")
-circle(124.2554084784d, -7.5742407674d, 2.95")