/texinfo.tex/1.1.1.2/Sun Sep 25 03:02:11 2011// D