How many people work at a Formula 1 pit stop?

If you've ever seen a Formula 1 race, then you know the race isn't just between cars -- it's also between pit stop crews. In seven seconds these crews perform an entire pit stop. But how does it work, and how many people does it take? Tune in to find out.