TeX source:
72.5