document.write ("42038");