document.writeln(' 7 ');