#include<stdio.h>
int main(){
    int n;
    int b;
    scanf("%d",&n);
    while(n!=0){
        b=n%10;
        if(b==7){
            printf("Yes");
            return 0;
        }
        n=n/10;
        if(n==0){
            printf("No");
            return 0;
        }
    }
}