TeX source:
P = (8,13)