global color=blue
circle(47.7591478237d, 1.3549501831d, 14.60")
-circle(47.7591478237d, 1.3549501831d, 5.84")