#include <stdio.h>

int main(){
    char a[4];
    scanf("%s",a);
    for(int i=0;;i++){
        if(a[i]=='7'){
            printf("yes\n");
            break;
        }
        if(a[i]='\0'){
            printf("no\n");
            break;
        }
    }


}