document.write("42") ;