document.write ("4000 ");