TeX source:
12=0