global color=blue
circle(11.1751136575d, -8.8250039096d, 7.38")
-circle(11.1751136575d, -8.8250039096d, 2.95")