TeX source:
16,000