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