4,252 coins