TeX source:
f(32)=9