python 字符串修改，切片操作