global color=blue
circle(284.5471918617d, 1.9886935021d, 8.38")
-circle(284.5471918617d, 1.9886935021d, 3.35")