#include <bits/stdc++.h>
using namespace std;
typedef unsigned long long int ll;

const ll INF = 1000000009;

void solve(){
  int n;
  cin >> n;
  while(n){
    if(n%10 == 7){
      cout << "Yes\n";
      return;
    }
  }
  cout << "No\n";
}

int main(){
#ifndef LOCAL
  ios_base::sync_with_stdio(0), cin.tie(NULL), cout.tie(NULL);
#endif
  // int t;cin >> t;while(t--) solve();
  solve();
}
