document.write('601256');