global color=blue
circle(187.7483808812d, 12.3439405930d, 7.38")
-circle(187.7483808812d, 12.3439405930d, 2.95")