document.write('601894');