TeX source:
K(0)=20