#include<stdio.h>
int main(){
    int n,flag = 0;
    scanf("%d",&n);
    do{
        if(n % 10 == 7){
            flag = 1;
            break;
        }
        n /= 10;
    }while(n >= 7);
    
    if(flag == 1) printf("Yes\n");
    else printf("No\n");
    
    return 0;
}
