document.write('3943')