document.write ("31201");