TeX source:
P_1=100