#include<stdio.h>
#include<string.h>
#include <stdlib.h>
int main(void){
    char N[4];
    scanf("%s",N);
    for (int i=0; N[i]!='\0'; i++) {
        if (N[i]=='7') {
            printf("Yes\n");
            return 0;
        }
    }
    printf("No\n");
    return 0;
}
