5255b64.tex