document.write('9206')