TeX source:
79.5