#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef pair<int, int> pii;


int main()
{
	string s;
	bool flag=false;
	cin>>s;
	for(int i=0;i<3;i++)
	{
		if(s[i]=='7')flag=true;
	}
	if(flag)cout<<"Yes"<<endl;
	else cout<<"No"<<endl;
	return 0;
}