\def\printversion{true}
\input amsldoc-vi.tex
