#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef vector<int> VI;
ll mm=1000000000;ll MM=mm+7;
#define rep(i, n) for(int i=0;i<n;i++)


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