x=raw_input()
print'def',x+'(x):\n    return x+'+x[3:]