global color=blue
circle(47.8270224321d, 1.3134286268d, 9.15")
-circle(47.8270224321d, 1.3134286268d, 3.66")