TeX source:
9.279