#include<bits/stdc++.h>
using namespace std;
int main(void)
{
  int n,x;
  cin>>n;
  for(int i=0;i<3;i++)
  {
   x=n%10;
   n=n/10;
   if(x==7)
   {
     cout<<"Yes"<<endl;
     return 0;
   }
  }
  cout<<"No"<<endl;
  return 0;
}
