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