document.writeln(" 3124 ");