TeX source:
34.25