В корзинке у девочки лежит 7 грибов, а в корзинке у мальчика лежит на 2 гриба больше. Сколько грибов лежит у мальчика в корзинке?