15.5.2 合约函数