#!/usr/bin/python3

import hashlib
csekk = input()
print("Teszteredmeny: " + hashlib.sha512(csekk.encode('utf-8')).hexdigest())