document.write("80142")