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