global color=blue
circle(80.6009076495d, 33.4115044710d, 31.87")
-circle(80.6009076495d, 33.4115044710d, 12.75")