global color=blue
circle(80.7914899381d, 33.3861814065d, 9.47")
-circle(80.7914899381d, 33.3861814065d, 3.79")