881,134 coins