; TeX output 1996.03.25:22237gxgn