Several Exhaustive Key Search Machines and DES