document.write ("31218");