#include<bits/stdc++.h>
#define io ios_base::sync_with_stdio(false),cin.tie(0),cout.tie(0)
typedef long long int ll;
using namespace std;
int main(){
	io;
	char s[4];
	cin >> s;
	bool f = 0;
	for(int i = 0;i < 3;++i){ 
		if(s[i] == '7'){
			f = 1;
		}
	}
	if(f)
		cout << "Yes";
	else
		cout << "No";
	return 0;
}