global color=blue
circle(80.7502172181d, 33.5108546566d, 6.97")
-circle(80.7502172181d, 33.5108546566d, 2.79")