global color=blue
circle(187.7001180992d, 12.5232707796d, 15.03")
-circle(187.7001180992d, 12.5232707796d, 6.01")