TeX source:
=7.95