global color=blue
circle(187.7009803555d, 12.0812084526d, 7.91")
-circle(187.7009803555d, 12.0812084526d, 3.16")