python字符串替换源码