TeX source:

3000