document.write("6700");