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