Suppose we have a team of 20 baseball players from which we wish to choose a batting lineup of nine. How many different lineups are possible?