document.write('601193');