document.write(" 42");