#include<stdio.h>
 
int main(void)
{
    int N;

    scanf("%d",&N);

    if(N / 100 == 7) {
        printf("Yes\n");
    } else if( N/10 >= 70 && N/10 < 80) {
        printf("Yes\n");
    } else if(N % 10 == 7) {
        printf("Yes\n");
    } else {
        printf("No\n");
    }

    return 0;
}