// display mip toolbox icons with (document) { writeln(''); writeln(''); writeln(''); writeln(''); writeln(''); writeln(''); writeln(''); writeln(''); writeln(''); writeln(''); writeln(''); write(''); writeln(''); writeln(''); writeln(''); writeln(''); writeln(''); writeln(''); writeln(''); writeln('

'); write('

'); write('

'); write('

'); write('

'); write('

'); write('

'); write('

'); write('

'); writeln('

'); }