document.write('601245');