Вася с родителями собирал грибы. Мама нашла 9 грибов, папа нашёл 15 грибов, а Вася нашёл на столько же больше грибов, чем нашла мама, на сколько меньше, чем нашёл папа. Сколько грибов нашёл Вася?