Данные о стаже работы (в годах) работников некоторой фирмы выглядят следующим образом 10, 3, 5, 12, 11, 7, 9. Тогда численность работников равна