TeX source:
f=8.00