TeX source:
10.000