global color=blue
circle(187.7385917060d, 12.3564384353d, 8.02")
-circle(187.7385917060d, 12.3564384353d, 3.21")