document.write('601939');