document.write ("31402");