document.write('20942');