global color=blue
circle(187.6891348080d, 12.4509315569d, 10.71")
-circle(187.6891348080d, 12.4509315569d, 4.29")