document.writeln(" 4000 ");