global color=blue
circle(11.2678170585d, -8.8938003431d, 7.38")
-circle(11.2678170585d, -8.8938003431d, 2.95")