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

int main(){
    string N;
    cin >> N;
    string ans;
    if(N[0] != '7' and N[1] != '7' and N[2] != '7'){
        ans = "No";
    }
    else{
        ans = "Yes";
    }

    cout << ans << endl;
}