#include<iostream> //ABC 162_a
#include<algorithm>
#include<cstring>
#include<stdio.h>
using namespace std;
int main(){
	int n;
	scanf("%d",&n);
	while(n){
		if(n%10==7){
		printf("Yes\n");
		return 0;
		}
		n/=10;
	}
	printf("No\n");
	return 0;
}