global color=blue
circle(47.9007577871d, 1.2631646351d, 19.23")
-circle(47.9007577871d, 1.2631646351d, 7.69")