global color=blue
circle(47.9472543858d, 1.3799737658d, 26.80")
-circle(47.9472543858d, 1.3799737658d, 10.72")