#include<stdio.h>
int main()
{
    int n, r, i;
    scanf("%d", &n);
    for(i = 1; i <= 3; i++){
        r = n % 10;
        n = n / 10;
        if(r == 7){
            printf("Yes");
            break;
        }
        if(i == 3){
            printf("No");
        }
    }

    return 0;
}