char = input()

print(char.replace('5', '*'))