global color=blue
circle(221.4831875051d, 1.4184190974d, 9.42")
-circle(221.4831875051d, 1.4184190974d, 3.77")