global color=blue
circle(11.3106070632d, -8.8358494838d, 7.38")
-circle(11.3106070632d, -8.8358494838d, 2.95")