global color=blue
circle(187.7249904097d, 12.5067343269d, 19.73")
-circle(187.7249904097d, 12.5067343269d, 7.89")