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