TeX source:
73.5