global color=blue
circle(47.8560208515d, 1.3184452720d, 6.52")
-circle(47.8560208515d, 1.3184452720d, 2.61")