document.write('9 '); document.write("");