连接两个字符串的函数Python