4 1 ^ 25 ire pr K,