#include <iostream>

using namespace std;

int main() {
	
	string exp;
	
	cin >> exp;
	
	bool ok = false;
	
	for (int i=0; i<(int)exp.size(); i++) {
		
		if (exp[i]=='7'){
			ok = true;
		}
		
	}
	
	if(ok) {
		cout << "Yes" << endl;
	} else {
		cout << "No" << endl;
	}
	
	return 0;
	
}