TeX source:
12{,}672