TeX source:
37.5