document.write('601273');