global color=blue
circle(80.7259506029d, 33.5401825294d, 10.06")
-circle(80.7259506029d, 33.5401825294d, 4.02")