#include<bits/stdc++.h>
using namespace std;
namespace QiFeng233{
	char n[10];
	void solve(){
		scanf("%s",n);
		for(int i=0;i<(int)strlen(n);++i){
			if(n[i]=='7'){
				printf("Yes");
				return;
			}
		}
		printf("No");
		return;
	}
}
signed main(){
	QiFeng233::solve();
	return 0;
}