document.write('601259');