document.write('601242');