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

int main(){
	string n;
	int flag = 0;

	cin >> n;
	for(int i = 0;i < 3;i++){
		if(n.at(i) == '7'){
			flag = 1;
			break;
		}
	}
	if (flag == 1){
		cout << "Yes" << endl;
	}else{
		cout << "No" << endl;
	}
}