TeX source:
p=0.8319