#include <iostream>

using namespace std;

int main() {
	
	int exp;
	
	cin >> exp;
	
	bool ok = false;
	
	while (exp!=0) {
		
		int num = exp%10;
		if (num==7){
			ok = true;
			break;
		}
		exp -=num;
		exp/=10;
		
	}
	
	if(ok) {
		cout << "Yes" << endl;
	} else {
		cout << "No" << endl;
	}
	
	return 0;
	
}