document.write('601872');