global color=blue
circle(11.2467768929d, -8.9062828364d, 9.70")
-circle(11.2467768929d, -8.9062828364d, 3.88")