global color=blue
circle(187.7206245702d, 12.4298452878d, 12.86")
-circle(187.7206245702d, 12.4298452878d, 5.14")