document.write ("139094");