document.write ("31214");