TeX source:
72.7