#include<stdio.h>

int main() {
    int N;
    scanf("%d",& N);

    int last_number = N%10;
    if (last_number == 7) {
    printf("Yes");
}
   else if (last_number != 7) {
    printf("No");
    }

    return 0;
}

