global color=blue
circle(209.7937116037d, 51.5811626256d, 9.40")
-circle(209.7937116037d, 51.5811626256d, 3.76")