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