#include<bits/stdc++.h>
using namespace std;
int main()
{
string s;
  cin>>s;
  int i,count=0;
  for(int i=0;i<s.length();i++)
  {
  	if(s[i]=='7')
  	{
  		cout<<"Yes"<<endl;
  		count=1;
	  }
  }
  if(count==0) cout<<"No"<<endl;
}