global color=blue
circle(284.4768862500d, 2.0923188841d, 9.45")
-circle(284.4768862500d, 2.0923188841d, 3.78")