6,331 coins