#include <iostream>
using namespace std;

int main(){
	int n; 
	cin >> n;
	int i; 
	for(i = 0; i< 3; i++){
		if(n%10 == 7){
			break;
		}
		n = n/10;
	}

	if(i==3) cout << "No" << endl;
	else     cout << "Yes" << endl;
	return 0;
}