document.write ("31200");