document.write('601252');