document.write ("4000");