document.write('601312');