TeX source:
f(6)=1