global color=blue
circle(248.5430015815d, 56.7120788400d, 13.88")
-circle(248.5430015815d, 56.7120788400d, 5.55")