4.3.3 替换字符串的函数INSERT(s1 x len s2)