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