#include <stdio.h>
#include <stdlib.h>
#include <math.h>
int i,j;
#define rep(i,l,r) for(i=(l);i<(r);i++)
#define per(i,r,l) for(i=(r);i>(l);i--)
int main(){
	int a,b,c,top=0;
	scanf("%d",&a);
	int temp = a;
	while(temp){
		b = temp%10;
		if(b==7){
			printf("yes");return 0;
		}
		temp/=10;
	}
	printf("no");
	return 0;
}