global color=blue
circle(293.1587784020d, 10.8974749362d, 9.49")
-circle(293.1587784020d, 10.8974749362d, 3.79")