global color=blue
circle(47.8492899355d, 1.2197740237d, 19.23")
-circle(47.8492899355d, 1.2197740237d, 7.69")