document.write('001236');