document.write ("31317");