global color=blue
circle(72.9694043459d, 0.0786900543d, 7.38")
-circle(72.9694043459d, 0.0786900543d, 2.95")