import fileinput
for line in fileinput.input(encoding="utf-8"):
    label, hextext = line.split(': ')
    print(label + ': ' + hextext.replace(' ', '').lower())