document.write ("42");