global color=blue
circle(72.9059907838d, 0.1877724867d, 9.83")
-circle(72.9059907838d, 0.1877724867d, 3.93")