#include <stdio.h>
int main(void){
    int a, b;
    scanf("%d%d", &a, &b);
    if(a / 100 == 7 || (a / 10)%10 == 7 || (a%100)%10 == 7){
        printf("Yes");
    }else{
        printf("No");
    }
    
}
