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

const string YES = "Yes";
const string NO = "No";

void solve(long long N){

}

// Generated by 1.1.6 https://github.com/kyuridenamida/atcoder-tools  (tips: You use the default template now. You can remove this line by using your custom template)
int main(){
    string S;
    cin >> S;
    bool flg = false;
    for(auto x: S){
        if(x == '7'){
            flg = true;
            break;
        }
    }
    cout << (flg ? "Yes" : "No") << endl;
}
