global color=blue
circle(80.6951467923d, 33.4910900462d, 5.92")
-circle(80.6951467923d, 33.4910900462d, 2.37")