document.writeln('(7)');