#include<bits/stdc++.h>

using namespace std;
int main()
{ int n,found=0;
  cin>>n;
  while(n>0)
  {
      int rem=n%10;
      if(rem==7)
      {

          found=1;break;
      }

      n=n/10;

  }

 if(found==1)
 {cout<<"Yes";}
 else
 {cout<<"No";}
}
