global color=blue
circle(80.6494368874d, 33.5189247627d, 11.97")
-circle(80.6494368874d, 33.5189247627d, 4.79")