#include <bits/stdc++.h>

using namespace std;
int main () {
  int n;
  cin>>n;
  ostringstream str1; 
  str1<<n;
  string n1=str1.str();
  int a=n1.size();int flag=0;
  int i;
  for(i=0;i<a;i++)
  {
  	if(n1[i]=='7')
  	{
  		flag=1;
  		break;
	  }
  }
  if(flag==1)
  cout<<"Yes"<<endl;
  else
  cout<<"No"<<endl;
}
