document.write ("42052");