document.writeln('3942');