document.write("80012")