#include<bits/stdc++.h>
#define st first
#define nd second

using ll = long long;
using namespace std;
using pii = pair<int, int>;

int main(){
	int n;
	scanf("%d", &n);
	while(n > 0){
		if(n % 10 == 7){
			return !printf("Yes\n");
		}
		n /= 10;
	}
	printf("No\n");
}