global color=blue
circle(11.3424842021d, -8.8807518285d, 22.63")
-circle(11.3424842021d, -8.8807518285d, 9.05")