document.writeln('42');