document.write("(42)");