global color=blue
circle(11.2064702776d, -8.7875334968d, 19.92")
-circle(11.2064702776d, -8.7875334968d, 7.97")