TeX source:

34-25=9