#include <stdio.h>
int main(void){
    int N,a,b,c;
    
    scanf("%d",&N);
    
    a=N%10;
    b=(N%100)/10;
    c=N/100;
    
    if(a==7 || b==7 || c==7){
        printf("Yes\n");
    }else{
        printf("No\n");
    }
    
    return 0;
}