document.write("31001")