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