/*
* @Author: Kabid
* @Date:   2020-04-16 00:45:39
*/

#include <stdio.h>
#include <math.h>
#include <string.h>
#include <stdlib.h>
#include <ctype.h>
#define in(x)  scanf("%d", &x);
#define ins(x) scanf("%s", &x);
#define out(x) printf("%d", x);
#define outs(x) printf("%s", x);
#define _ putchar(' ');
#define lin puts("");

int t,i,j=0,k,l,x=0,r,la,lb;
int c=0,m=1,ci=0,ca=0,cb=0;
char s[100001];
char sa[501],sb[501];
int a[1001],b[1001]={0},e[101]={0},g[101]={0},d;
int main(){
	in(x)
	sprintf(s,"%d",x);
	l=strlen(s);
	for(i=0;i<l;i++){
		if(s[i]=='7'){
			j=1;
			//puts("dkfjuds");
		}
	}
	if(j)puts("Yes");
	else puts("No");
	//puts(s);
	//putchar(s[2]);lin
	//out(s[2]-'7')


		

	
	
	
	
	


    return 0;
 }
	
		
