global color=blue
circle(11.2837820845d, -8.9144701570d, 7.38")
-circle(11.2837820845d, -8.9144701570d, 2.95")