/*-----------Author: Araz Jabrayilov---------*/
/*------------@araz17----(~~)#5371-----------*/

#include <bits/stdc++.h>

#define ll long long
#define endl '\n'

using namespace std;

int a[4];

int main()
{
    ios_base :: sync_with_stdio(0);
    cin.tie(0), cout.tie(0);

    int flag = 0;
    for(int i = 0; i < 3; i++){
      cin >> a[i];
      if(a[i] == 7){
        flag++;
      }
    }

    if(flag > 0){
      cout << "Yes" << endl;
    }
    else{
      cout << "No" << endl;
    }


    return 0;
}
