document.write('601258');