Ваня, Федя и Лена ходили за грибами. Ваня собрал 12 грибов, Федя собрал на 5 грибов меньше, чем Ваня и Лена вместе. Один из троих ребят собрал 6 грибов. Сколько всего грибов собрали ребята?