#include <stdio.h>

int main(void){
    int i=0,c;
    for(i=0;i<2;i++){
        c=getchar();
        if(c=='7'){
            printf("Yes");
            i=0;
            break;
        }
    }
    if(i==2){printf("No");}
    return 0;
}