4,245,647 coins