6,714 coins