document.write("9,500");