s=readline();print("def "+s+"(x):\n    return x+"+s.slice(3))