global color=blue
circle(213.9950930439d, 13.3399633758d, 6.42")
-circle(213.9950930439d, 13.3399633758d, 2.57")