TeX source:

72