#include <stdio.h>
#include <string.h>

int main(){
    char a[5];
    int n;
    
    scanf("%s",a);
    
    if(a[0]=='7' || a[1]=='7' || a[2]=='7'){
        printf("Yes\n");
    }
    
    else{
        printf("No\n");
    }
    
    
    return 0;
}