document.write("31002")