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