\input colordvi.tex
