global color=blue
circle(187.6451259383d, 12.5021735830d, 23.42")
-circle(187.6451259383d, 12.5021735830d, 9.37")