#include<bits/stdc++.h>

using namespace std;

typedef long long ll;

void solve(){
string s;
cin>> s;
for(auto c: s)
  if(c=='7'){
    cout << "Yes";
    return;
  }
cout << "No";
}

int main() {
    ios::sync_with_stdio(0);
    cin.tie(0);
    ll t = 1, i = 1;
    //cin >> t;
    while(t--){
        solve();
        ++i;
    }
    return 0;
}
