document.write('001392');