global color=blue
circle(47.8216441820d, 1.2884147221d, 7.57")
-circle(47.8216441820d, 1.2884147221d, 3.03")