global color=blue
circle(80.8204728065d, 33.4558027988d, 9.49")
-circle(80.8204728065d, 33.4558027988d, 3.80")