document.write('002425');