Re: Random numbers for DES search.