What is the total value of the ten-cent coins?