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

int main()
{
    int a;
    scanf("%d",&a);
    if(a%100%10 == 7){
        printf("Yes");
    }
    else{
        a=a/10;
        if(a%10==7){
            printf("Yes");
        }
        else{
            a=a/10;
            if(a==7){
                printf("Yes");
            }
            else{
                printf("No");
            }
        }
    }
    return 0;
}
