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