global color=blue
circle(80.7416437781d, 33.4317364553d, 7.71")
-circle(80.7416437781d, 33.4317364553d, 3.09")