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