Definition HashAlgorithmT :=
  string.
