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