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