document.writeln(" 42 ");