document.write ("42078");