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