#include<stdio.h>

int main(){
    int n;
    int a,b,c;
    int flag = 0;
    scanf("%d",&n);
    
    if(n%10 == 7){
        printf("Yes\n");
    }else if(n%100-a == 70){
        printf("Yes\n");
    }else if(n%1000-(a+b) == 700){
        printf("Yes\n");
    }

    return 0;
}