global color=blue
circle(248.5516238743d, 56.6700154960d, 8.35")
-circle(248.5516238743d, 56.6700154960d, 3.34")