global color=blue
circle(187.7001694036d, 12.0472353000d, 4.28")
-circle(187.7001694036d, 12.0472353000d, 1.71")