global color=blue
circle(80.6322931559d, 33.4958817309d, 11.41")
-circle(80.6322931559d, 33.4958817309d, 4.56")