global color=blue
circle(248.6268512861d, 56.5554110868d, 11.34")
-circle(248.6268512861d, 56.5554110868d, 4.54")