#include <stdio.h>

int main(){
    char input_S[4];

    scanf("%s", input_S);

    if(input_S[0] == '7'){
        printf("Yes");
    }else if(input_S[1] == '7'){
        printf("Yes");
    }else if(input_S[2] == '7'){
        printf("Yes");
    }else if(input_S[3] == '7'){
        printf("Yes");
    }else{
        printf("No");
    }

    return(0);
}