#include<stdio.h>
main(){
int n,m;
scanf("%d",&n);
int flag=0;
if(((n-7)%10)==0) flag=1;else if
((((n/10)-7)%10)==0) flag=1;else if
((((n/100)-7)%10)==0) flag=1;
if(flag==0) printf("no");

if(flag==1) printf("yes");
}
