714,294 coins