global color=blue
circle(47.8294542808d, 1.2763159490d, 6.23")
-circle(47.8294542808d, 1.2763159490d, 2.49")