document.write('601254');