TeX source:
PV=25