TeX source:

12,000