document.writeln(''); document.writeln(''); document.writeln(''); document.writeln(''); document.writeln(''); document.writeln(''); document.writeln('
7'); document.writeln('
005'); document.writeln('
10'); document.writeln('
');