#include<bits/stdc++.h>
using namespace std;

#define int long long

void solve() {
	string s;
	cin>>s;
	for(int i=0;i<s.size();i++) {
		if(s[i]=='7') {
			cout<<"<Yes\n";
			return;
		}
	}
	cout<<"No\n";
}

signed main() {
	ios_base::sync_with_stdio(false);
	cin.tie(NULL);
	cout.tie(NULL);
	int t=1;
	//cin>>t;
	while(t--) {
		solve();
	}
}