# include <bits/stdc++.h>
# define rr register
const int N=100010,INF=0x3f3f3f3f;
inline int read(void){
	int res,f=1;
	char c;
	while((c=getchar())<'0'||c>'9')
		if(c=='-')f=-1;
	res=c-48;
	while((c=getchar())>='0'&&c<='9')
		res=res*10+c-48;
	return res*f;
}
int main(void){
	char s[100];
	scanf("%s",s+1);
	int n=strlen(s+1);
	for(rr int i=1;i<=n;++i){
		if(s[i]=='7'){
			printf("Yes");
			return 0;
		}
	}
	printf("No");
	return 0;
}
