#include<iostream>
using namespace std;

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

#include<stdio.h>

int main(){
	int n;
	scanf("%d", &n);
	
	int ratusan = 0, puluhan = 0, satuan= 0;
	
	ratusan = n / 100;
	puluhan = (n / 10) - (ratusan * 10); //misal n = 271, 271 - 2
	satuan = n % 10;
	
	if(ratusan == 7 || puluhan == 7 || satuan == 7){
		printf("Yes\n");
	}
	else{
		printf("No\n");
	}
	return 0;
}