TeX source:

452.16