document.write ("31236");