TeX source:
9.42