TeX source:
(0,6200)