global color=blue
circle(47.8216850638d, 1.2544003526d, 9.95")
-circle(47.8216850638d, 1.2544003526d, 3.98")