global color=blue
circle(47.8251732667d, 1.3172004485d, 8.94")
-circle(47.8251732667d, 1.3172004485d, 3.57")