document.write(' 4000 ');