document.write ("42497");