global color=blue
circle(248.6958886698d, 56.5637621186d, 7.38")
-circle(248.6958886698d, 56.5637621186d, 2.95")