TeX source:
42