document.write("80342")