document.write('601419');