document.write('601417');