Re: 40-bit brute force RC4 speed records?