#include<iostream>
#include<string>
#include<algorithm>
typedef long long ll;
using namespace std;
const int N=2e5+5;
int a[N];

int main(){
	ios::sync_with_stdio(false);
	cin.tie(0);cout.tie(0);
	string str;
	cin>>str;
	int f=0;
	for(int i=0;i<str.length();i++){
		if(str[i]=='7')f=1;
	}
	if(f)puts("Yes");
	else puts("No");
	return 0;
}