TeX source:
P=10