document.writeln(" 3140 ");