global color=blue
circle(206.7370000805d, 39.4172818804d, 7.38")
-circle(206.7370000805d, 39.4172818804d, 2.95")