document.write('601372');