document.write('001317');