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