TeX source:
(9,3)