pr 64 k:r ; salt,