DES_is_weak_key.3 revision 302408