global color=blue
circle(11.2472630510d, -8.7575440883d, 7.38")
-circle(11.2472630510d, -8.7575440883d, 2.95")