global color=blue
circle(248.6064971109d, 56.6046766587d, 6.31")
-circle(248.6064971109d, 56.6046766587d, 2.52")