global color=blue
circle(248.6355809044d, 56.5703040141d, 10.53")
-circle(248.6355809044d, 56.5703040141d, 4.21")