#include<bits/stdc++.h>
#define rep(i,n) for(int i=0;i<n;i++)
#define forn(i,a,b) for(int i=a;i<=b;i++)
#define INF 2147483647
#define LLINF 9223372036854775807
using namespace std;
int main(){
	long long n;
	cin>>n;
	bool flag=0;
	while(n){
		if(n%10==7)flag=1;
		n/=10;
	}
	if(flag)cout<<"Yes";
	else cout<<"No";
	return 0;
}