Компания друзей купила 21 пирожок: с капустой, с грибами и мясом. Пирожков с капустой было больше всего и втрое больше, чем с мясом. А пирожков с мясом меньше, чем с грибами. Сколько пирожков с грибами купили ребята?