Henwen: add function plus()