document.write("9996")