TeX source:

14.600