#include<stdio.h>
int main(){
    char N[3+1];
    scanf("%s",N);
    if(N[0]-'0'==7){
        printf("Yes\n");
    }else if(N[1]-'0'==7){
        printf("Yes\n");
    }else if(N[2]-'0'==7){
        printf("Yes\n");
    }else if((N[0]-'0'!=7)&&(N[1]-'0'!=7)&&(N[2]-'0'!=7)){
        printf("No\n");
    }
}