TeX source:

(12, 80)