document.write('601139');