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