global color=blue
circle(47.7916172743d, 1.2570943989d, 10.79")
-circle(47.7916172743d, 1.2570943989d, 4.31")