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