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