#include <iostream>
#include <vector>
#include <string>
#include <algorithm>
using namespace std;
int main(){
	string N;
	cin >> N;
	int ja = 0;
	for (int i = 0; i < N.size(); i++) {
		if (N[i] == '7') {
			cout << "Yes" << endl;
			ja += 7;
			break;
		}
	}
	if (ja < 7) {
		cout << "No" << endl;
	}
	
}
#include <stdio.h>
int main (){
	int numberS, a, b, c;
	scanf("%d", &numberS);
  a = numberS%10;
  b = numberS/100;
  c = numberS%100/10;
	if(a==7 || b==7 || c==7){
		printf("Yes");
	}
	else{
		printf("No");
	}


}