#include <bits/stdc++.h>
using namespace std;

int main()
{
	string s;
	cin>>s;
	for(int i=0;i<=s.size();i++)
	   if((s[i]-'0')==7)
	   {
	   	 cout<<"Yes";
	   	 return 0;
	   }
	   
	cout<<"No";
	
	return 0;
	
} 