s="|0000011111111|"
print s.replace(s[9:12],' ')
......输出是 |00000 11|
s="|0000012345678|"
print s.replace(s[9:12],' ')
......输出是 |00000123 78|
我只想替换s[9:12]为三个空格,为什么第一个输出不正确？