В коробке всего 40 цветных карандашей. Карандаши красного цвета составляют 20% всех карандашей.Сколько в коробке карандашей красного цвета ?