В корзине лежат 40 грибов: рыжики и грузди. Известно, что среди любых 17 грибов имеется хотя бы один рыжик, а среди любых 25 грибов хотя бы один груздь. Сколько рыжиков в корзине?