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

int main(){
    int i;
    char token[3000]={};
    fgets(token, sizeof(token), stdin);
    for (i=0; i<4; i++) {
        if (token[i]==7){
            printf("Yes");
            return 0;
        }
    }
    printf("No");
    return 0;
}


