#include <bits/stdc++.h>
using namespace std;

const int N = 2e5 + 10, mod = 1e9 + 7;



int main() {
    // ios_base::sync_with_stdio(0); cin.tie(0); cout.tie(0);
    int tc = 1; 
    //scanf("%d", &tc);
    while(tc--) {
        int n; cin >> n;
        bool ok = 0;
        while(n) {
            if((n % 10) == 7) ok = 1;
            n /= 10;
        }
        if(ok) puts("Yes");
        else puts("No");
    }    
    return 0;
}