global color=blue
circle(47.7646147061d, 1.2502742648d, 10.38")
-circle(47.7646147061d, 1.2502742648d, 4.15")