#include "bits/stdc++.h"
using namespace std;

int main() {
	string s;
	cin >> s;

	bool bl = false;
	for(int i = 0; i < s.size(); ++i) {
		if(s[i] == '7') bl = true; 
	}

	cout << (bl ? "Yes":"No") << endl;
	
	return 0;
}