【打卡】更新字符串

描述
编写 Python 代码，实现名为 str_update 函数。该函数将提取给定字符串前 7 个字符之后的内容，并在字符串后加上 ’ welcomes!’，最后返回更新后的字符串。

请在 solution.py 中完成 str_update 函数的编写，我们会在 main.py 中通过导入的方式运行你的代码，检查最终结果是否正确。

更改后字母间有空格
字母需严格大小写

样例
测评机会通过执行 python main.py 来运行 main.py，运行后输出更新后的字符串，你可以在 main.py 中了解代码是如何运行的。

样例一

若字符串为：

Hello, Mr.Green

则更新后的字符串为：

Mr.Green welcomes!

样例二

若字符串为：

Hello, John

则更新后的字符串为：

John welcomes!

def str_update(txt: str) -> str:
    """
    :param txt: a input string
    :return: a changed string
    """
    # write your code here
    return txt[7:] + ' welcomes!'