13.5 一个简单的智能合约