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