TeX source:

0.1200