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