5.4.2 合约函数