#include<bits/stdc++.h>
using namespace std;
int a[2];
int main()
{
   for(int i=0;i<=2;i++)
   {cin>>a[i]
     if(a[i]==7)
       cout<<"Yes";
       return 0;
     else
       continue;}
  cout<<"No";
  return 0;
}