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