8,422 coins