global color=blue
circle(47.8686270429d, 1.3078198158d, 9.55")
-circle(47.8686270429d, 1.3078198158d, 3.82")