В коробке было 30 карандашей. Пять шестых всех карандашей были красные. Сколько красных карандашей было в коробке?