原文:字符串函数--python