#include <cstdio>
#include <iostream>
#include <vector>

using namespace std;

int main()
{
        int a,b,c;
    cin>>a>>b>>c;
    if((a+b+c)%17==0) cout<<"YES"<<endl;
    else cout<<"NO"<<endl;
    return 0;


}
