document.write('601231');