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