document.write('9 5 7 8 ');