#include <stdio.h>
int main(void){
    int a[3];
    int n;
    int i;
    int b=0;
    
    scanf("%d",&n);
    a[1]=n/100;
    a[2]=(n-(a[1]*100))/10;
    a[3]=n-((a[1]*100)+(a[2]*10));
    
    
    for(i=0;i<3;i++){
     if(a[1]==7){
        b++;
     }
    }
    
    if(b>0){
     printf("Yes");
    }else{
     printf("No");
    }
    
    return 0;
}