global color=blue
circle(80.6764069036d, 33.4835852193d, 7.25")
-circle(80.6764069036d, 33.4835852193d, 2.90")