global color=blue
circle(47.8619763946d, 1.3320308277d, 7.69")
-circle(47.8619763946d, 1.3320308277d, 3.08")