TeX source:

0.000705