global color=blue
circle(187.7245950365d, 12.0459580169d, 5.30")
-circle(187.7245950365d, 12.0459580169d, 2.12")