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