document.write ("42072");