#include <stdio.h>

int main() {
    // Constraints: 100 <= N <= 999
    // s <- '100\0' ~ '999\0'
    char s[4];
    scanf("%s", s);

    if (s[0] == '7' || s[1] == '7' || s[2] == '7') {
        puts("Yes");
    }
    else {
        puts("No");
    }

    return 0;
}