document.write("6700")