document.writeln('3943');