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