document.writeln(" 1248 ");