3,788 coins