global color=blue
circle(187.7075588752d, 12.4006598402d, 7.07")
-circle(187.7075588752d, 12.4006598402d, 2.83")
-ellipse(187.7082280293d, 12.4001435793d, 1.73", 1.73", 0.00)