TeX source:
k=0