global color=blue
circle(248.6784015744d, 56.6262810447d, 9.48")
-circle(248.6784015744d, 56.6262810447d, 3.79")