document.write('001380');