document.write('601172');