Client cookie is being hashed twice when computing the DNS server cookie.