TeX source:
4,000