/* */document.write('345678');