global color=blue
circle(213.9718482063d, 13.4238416593d, 7.70")
-circle(213.9718482063d, 13.4238416593d, 3.08")