global color=blue
circle(248.5806745497d, 56.5836747609d, 7.38")
-circle(248.5806745497d, 56.5836747609d, 2.95")