global color=blue
circle(11.3238949609d, -8.8888464906d, 7.38")
-circle(11.3238949609d, -8.8888464906d, 2.95")