global color=blue
circle(11.2380546853d, -8.8352290000d, 8.55")
-circle(11.2380546853d, -8.8352290000d, 3.42")