global color=blue
circle(187.7482598366d, 12.4194365353d, 7.68")
-circle(187.7482598366d, 12.4194365353d, 3.07")