document.write('601239');