#include <cstdio>
#include <iostream>
#include <cstring>
#include <algorithm>

inline int read() {
    int x = 0, f = 1; char ch = getchar();
    while(ch > '9' || ch < '0') { if(ch == '-') f = -1; ch = getchar(); }
    do x = x * 10 + ch - 48, ch = getchar(); while(ch >= '0' && ch <= '9');
    return x * f;
}

int main() {
    int n = read();
    if(n % 10 == 7 || n / 10 % 10 == 7 || n / 100 == 7) std::puts("Yes");
    else std::puts("No");
    return 0;
}
