global color=blue
circle(11.2331266421d, -8.9307001553d, 7.38")
-circle(11.2331266421d, -8.9307001553d, 2.95")