document.write('601232');