Второклассники Аня и Миша собирали осенний гербарий. Аня собрала 7 листочков, а Миша — в два раза больше. Сколько всего листочков собрали дети?