global color=blue
circle(47.8146405356d, 1.3282603386d, 9.25")
-circle(47.8146405356d, 1.3282603386d, 3.70")