#include<bits/stdc++.h>

using namespace std;

using ll = long long;

int main() {
	
	int N;
	cin>>N;
	while (N) {
		if (N%10 == 7) {
			cout<<"Yes"<<endl;
			return 0;
		}
		
		N /= 10;
	}

	cout<<"No"<<endl;
	return 0;
}
