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