document.write('601263');