TeX source:
f(9)=3