document.write('601250');