global color=blue
circle(248.5717613998d, 56.6904432601d, 8.07")
-circle(248.5717613998d, 56.6904432601d, 3.23")