#include <bits/stdc++.h>

#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define ULL unsigned long long
#define LL long long

using namespace std;

int main(){
	int N;
	
	cin >> N;
	
	int a,b,c;
	a=N%10;
	N-=a;N/=10;
	
	b=N%10;
	N-=b;
	
	c=N/10;
	
	
	if(a==7 || b==7 || c==7){
		cout << "Yes" << endl;
	}else{
		cout << "No" << endl;
	}
	return 0;
}