document.write('001239');