25,141 coins