global color=blue
circle(187.7409508898d, 12.2707802901d, 13.88")
-circle(187.7409508898d, 12.2707802901d, 5.55")