k4 has 8 members.
But the third member of Perm is 8. So plus one leads to 9 which is more than k4 contains k4(Perm(i)+1) = k4(9);
To me it's not clear what you try to do. Could you please give an example of the expected result?
Btw., are you aware of the built-in "permute" function?