#include <stdio.h>

int main(){
    char vet[1000];

    scanf("%s",vet);
        if((vet[0]=='7') || (vet[1]=='7') || (vet[2]=='7'))
            printf("Yes\n");
        else
            printf("No\n");


    return 0;
}
