TeX source:
6{,}625