} else {
keyLength = 5;
}
if (keyLength < 1) {
keyLength = 1;
if (keyLength > 16) {
keyLength = 16;
permFlags = permissions.getInt();
if (encVersion >= 1 && encVersion <= 2 &&
encRevision >= 2 && encRevision <= 3) {