const unsigned int seed(string_hash_(str));
# else // FUNCTIONAL_HASH_ON_STRING
HASH_MAP_NAMESPACE::hash<const char*> string_hash_;
const unsigned int seed(string_hash_(str));
# else // FUNCTIONAL_HASH_ON_STRING
HASH_MAP_NAMESPACE::hash<const char*> string_hash_;