global color=blue
circle(72.9470178769d, 0.1533969289d, 13.02")
-circle(72.9470178769d, 0.1533969289d, 5.21")