print('def '+(Q=readline())+'(x):\n    return x+'+Q.slice(3))