global color=blue
circle(80.6888784169d, 33.5182972912d, 9.47")
-circle(80.6888784169d, 33.5182972912d, 3.79")