4,187 coins