document.writeln(" 7 ");