函数substitute