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