#include <stdio.h>
int main()
{
     int a,b,c;
     printf("%d,%d,%d\n",A,B,C);
     scanf("%d%d%d\n"&a,&b,&c);
     if(a+b+c=17)
        printf("YES");
     else
        printf("NO");
     return 0;
}
