document.writeln('(10)');