В папке находятся листы красного и зеленого цвета, всего 100 штук. Известно, что листы зеленого цвета составляют 25% от всех лстов. Сколько в папке находится листов красного цвета?