Iroha loves Haiku. Haiku is a short form of Japanese poetry. A Haiku consists of three phrases with 5, 7 and 5 syllables, in this order.

To create a Haiku, Iroha has come up with three different phrases. These phrases have A, B and C syllables, respectively. Determine whether she can construct a Haiku by using each of the phrases once, in some order.

Constraints

* 1≦A,B,C≦10

Input

The input is given from Standard Input in the following format:


A B C


Output

If it is possible to construct a Haiku by using each of the phrases once, print `YES` (case-sensitive). Otherwise, print `NO`.

Examples

Input

5 5 7


Output

YES


Input

7 7 5


Output

NO
#include <cstdio>
int main()
{
	int a,b,c;
	scanf("%d%d%d",&a,&b,&c);
	if(a==5&&b==5&&c==7||a==5&&c==5&&b==7||b==5&&c==5&&a==7)
		printf("YES");
		else
			printf("NO");
			return 0;
}
