В коробке лежат синие, красные и зелёные карандаши — всего 17 карандашей. Синих карандашей в 5 раз больше, чем зелёных. Красных карандашей меньше, чем синих. Сколько в коробке красных карандашей?