document.write('601217');