global color=blue
circle(150.0088306187d, 1.9155132866d, 9.88")
-circle(150.0088306187d, 1.9155132866d, 3.95")