import hashlib


def getHash(ctr):
    """
    Stringify ctr and sha3 512 hash then hexdigest.
    """
    m = hashlib.sha3_512()
    string = str(ctr).encode('utf-8')
    m.update(bytes(string))
    ctr_hash = m.hexdigest()
    return ctr_hash