python中的替换函数