What is the total of these coins: 2 pence, 5 pence, and 3 pence?