document.write("4000 ");