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