TeX source:

80.5