global color=blue
circle(11.3125666448d, -8.8542753742d, 12.27")
-circle(11.3125666448d, -8.8542753742d, 4.91")