#include <bits/stdc++.h>
typedef long long ll;
#define loop(x) for(int i = 0;i<(x);i++)
using namespace std;

int main(){
    string n; cin>>n;
    bool val = false;
    for(auto x:n)if(x=='7')val=true;
    cout<<(val?"Yes":"No");
    return 0;
}

