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