global color=blue
circle(80.8113550180d, 33.5165452411d, 8.56")
-circle(80.8113550180d, 33.5165452411d, 3.42")