合同到期函数