global color=blue
circle(81.4660193949d, 1.7933561421d, 9.37")
-circle(81.4660193949d, 1.7933561421d, 3.75")