global color=blue
circle(81.4423421356d, 1.8316813947d, 9.34")
-circle(81.4423421356d, 1.8316813947d, 3.73")