global color=blue
circle(47.8693501807d, 1.3182434448d, 7.38")
-circle(47.8693501807d, 1.3182434448d, 2.95")