global color=blue
circle(284.5332670613d, 2.0700036454d, 9.38")
-circle(284.5332670613d, 2.0700036454d, 3.75")