document.write('601233');