document.write ("42 ");