TeX source:
s=0