9.4.3 编写智能合约