document.write("0 0 1 2 7 2 ");