#include <bits/stdc++.h>
using namespace std;
int main(){
    int n;
    scanf("%d", &n);
    while(n) {
        if(n % 10 == 7) {
            printf("Yes\n");
            return 0;
        }
        n /= 10;
    }
    printf("No\n");
    return 0;
}
