TeX source:

p=17