TeX source:
k=12