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