Ptfnumeration«pri«: