with (document) { writeln(''); writeln('

'); }