: f 71 ; 80 k.