document.write('001300');