#include<bits/stdc++.h>
using namespace std;
int main()
{
  int x,r,j=0;
  cin>>x;
  while(x!=0)
  {
     x=x/10;
     r=x%10;
     if(r==7)
     {
         j++;
         break;
     }



  }
  j>0?cout<<"Yes"<<endl:cout<<"No"<<endl;
}
