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

int main()
{
	ios_base::sync_with_stdio(false);	
	cin.tie(NULL);
	string s="";
	cin>>s;
	int flag=1;
	for(int i=0;i<s.length();++i)
	{
		if(s[i]=='7')
		{
		flag=1;
		break;
		}
	}
	if(flag==1)
	cout<<"Yes\n";
	else
	cout<<"No\n";
	return 0;
}