global color=blue
circle(81.3687317821d, 1.7685788739d, 10.08")
-circle(81.3687317821d, 1.7685788739d, 4.03")