document.write ("42086");