TeX source:
87.52