global color=blue
circle(72.9888039372d, 0.1256002428d, 7.90")
-circle(72.9888039372d, 0.1256002428d, 3.16")