/texinfo.tex/1.3/Thu Jul  6 05:39:36 2000//
D
