#include<bits/stdc++.h>
using namespace std;
#define lli long long int
 int main()
{	

	lli i,j,k,l,n,n1,a,b,m,q,count=0,flag=0;
	string s;
	cin >> s;
	for(i=0;i<s.size();i++){
		if(s[i]=='7'){
			flag=1;
			cout << "Yes" << '\n';
			break;
		}
	}
	if(flag==0)cout << "No" << '\n';

return 0;}
