TeX source:
12,000