TeX source:
10 : 0