TeX source:
63.5