#include <iostream>
#include <vector>
#include <algorithm>
#include <map>
#include <queue>
#include <string>
#include <set>
#include <cstdint>
#define INF 1000000000
#define LLINF 2000000000000000
#define MOD 1000000007
using namespace std;
#define FOR(i,a,b) for(int i=a;i<b;i++)
#define LOOP(i,N) for(int i=0;i<N;i++)
#define LOOP1(i,N) for(int i=1;i<=N;i++)
typedef pair<int,int> P;
typedef pair<int,pair<int,int> > PP;
// #define int long long
int n,x,y;

signed abs(int i){
  if(i<0) return -i;
  return i;
}

signed dist(int i,int j){
  return min(abs(i-x)+abs(j-y)+1, abs(j-i));
}

signed main(){
  string s;
  cin >> s;
  LOOP(i,3){
    if(s[i]=='7'){
      cout << "Yes" << endl;return 0;
    }
  }
  cout << "No" << endl;
}
