TeX source:

f(17)=71