document.write('601402');