document.write("6875")