TeX source:

80