#include <bits/stdc++.h>
#define rep(i, n) for (int i = 0; i < n; ++i)
using namespace std;

int main(){
    int n;cin >> n;
    string num, ans;
    ans = "No";
    num = to_string(n);
    rep(i, 3) if(num[i] == '7'){
        ans = "Yes";
        break;
    }
    cout << ans <<endl;
    return 0;
}