日本麻将里有一个特殊的胡牌方式叫做七对子，指的是七个不同的对子能够胡牌。对子就是指两张一样的牌。
“听牌”就是指差一张牌就能够胡牌的状态。
给出王助教手中的13张手牌，王助教想要知道他至少要将手中多少张牌换掉才能够七对子“听牌”。
多组数据读入。（不超过1000组）
每组数据13个数$a_1 \dots a_{13}$，代表王助教的手牌的编号。 编号相同就视作两张牌一样，编号不同就视作不一样。
$0 \leq a_i \leq 10000000$
对于每组数据，输出一行，王助教至少换掉多少张牌才能够七对子听牌。
1 1 2 2 3 3 4 4 7 7 6 6 9
1 1 3 3 4 4 0 0 6 7 8 9 100
2