global color=blue
circle(80.5804592192d, -67.8585417744d, 6.11")
-circle(80.5804592192d, -67.8585417744d, 2.44")