document.write ("42093");