global color=blue
circle(187.5868667181d, 12.3800325479d, 31.20")
-circle(187.5868667181d, 12.3800325479d, 12.48")