document.write ("31942");