document.write('0001940');