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