document.write ("31400");