document.writeln(" 7188 ");