global color=blue
circle(187.6848901799d, 12.1019600764d, 9.69")
-circle(187.6848901799d, 12.1019600764d, 3.88")