global color=blue
circle(80.6237880778d, 33.5406514930d, 8.99")
-circle(80.6237880778d, 33.5406514930d, 3.60")