25,751 coins