Re: Time to exhaustively break 40-bit RC4?