hash_sha512::=