document.writeln("42");