document.write('601394');