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