A coin is tossed $12$ times. How many different sequences of tosses could there have been, if the number of heads was at least $5?$