#include <bits/stdc++.h>
#define rep(i,n) for (int i =0;i<n;i++)
using namespace std;
using ll = long long;
using P = pair<int,int>;

int main(){
  string n;
  bool flag;
  cin >> n;
  rep(i,3)if(n[i]=='7')flag=true;
  if(flag==true)cout << "Yes"<< endl;
  else cout << "No"<< endl;
  return 0;
}
