document.write('9 ')