4,245 coins