TeX source:
32.12