TeX source:
64.000.003