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

int main(){
	string N;
	cin >> N;
	bool is_seven = false;

	for(int i = 0; i < 3; i++){
		if(N.at(i) == '7'){
			is_seven = true;
		}
	}

	if(is_seven){
		cout << "Yes" << endl;
	} else {
		cout << "No" << endl;
	}

}
