What is the total value of these coins: 1 dollar, 50 cents, and 25 cents?