substitute函数 元