Миша собрал 13 белых грибов, а Оля – на 5 грибов меньше. Сколько грибов собрала Оля?