global color=blue
circle(248.5825311123d, 56.6721394502d, 9.49")
-circle(248.5825311123d, 56.6721394502d, 3.80")