TeX source:
(9,4200)