document.write('601219');