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