document.write('002501');