TeX source:
7,069