TeX source:
P_2=85