TeX source:

714