document.write("4700 ");