TeX source:

f(7)=12