TeX source:

11,375