Rectangulars made with sticks

The Aizu Broadcasting Corporation's educational program (AHK Education) airs a children's craft program called "Ason de Tsukuro (Let's make something). Today's episode is about making boxes with sticks, and we would like to see if we can make a rectangular using the twelve sticks prepared. However, we cannot cut or break the sticks.

Your program must judge if we can create a rectangular using twelve sticks whose lengths are given.

Input

Input is given in following format.

e1 e2 ... e12

A line with integers e_i (1 ≤ e_i ≤ 100) which represents lengths of each stick.

Output

Output "yes" if we can create a rectangular, and "no" if we can't. Do note that cubes are a kind of rectangulars!

Sample Input 1

1 1 3 4 8 9 7 3 4 5 5 5

Sample Output 1

no

Sample Input 2

1 1 2 2 3 1 2 3 3 3 1 2

Sample Output 2

yes

---