document.write('601253');