document.writeln(" 3144 ");