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