document.write('601257');