document.write("31218")