global color=blue
circle(187.7320379349d, 12.3751149637d, 22.50")
-circle(187.7320379349d, 12.3751149637d, 9.00")