document.write('601251');