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