#include <bits/stdc++.h>

using ll = long long;
using namespace std;
const int INFint = 2e9+1;
const ll INFll = 2e18+1;
ll MOD=1e9+7;


int main(){
  string s;
  cin>>s;
  if(s[0]-'0' == 7 || s[1]-'0' == 7 || s[2]-'0' == 7){
    cout << "Yes" << endl;
  }else{
    cout << "No" << endl;
  }
  return 0;
}

