#include<bits/stdc++.h>
using namespace std;
#define ll long long 
#define INF 999999999
#define rep(i,n) for(int i=0;i<n;i++)
const int mod = 1000000007;
ll cnt = 0;

int main(){
  string s; cin >> s;
  for(int i=0;i<3;i++){
      if(s.at(i) == '7'){
          cout << "Yes" << endl;
          return 0;
          }}
cout << "No" << endl;
}