document.write ("31302");