#include<stdio.h>

int main(){
    char n[4];
    scanf("%s", n);
    int r=0;
    for (int i=0; i<3; ++i){
        if (n[i]=='7'){
            r=10;
        }
    }
    if (r==10){
        printf("Yes\n");
    }else{
        printf("No\n");
    }
    return 0;
}
