document.writeln(" 3100 ");