#include<bits/stdc++.h>
using namespace std;
#define ll long long int 
#define f first
#define s second
#define pb push_back
#define mod 1000000007
#define mp make_pair
#define fast 
#define f first
#define s second
#define endl "\n"
#define pie 3.1415926535

int main(){
  int n,flag=0;
  cin >> n;
  while(n>0){
    int temp = n%10;
    if(temp==7){
      cout << "Yes";
      flag = 1;
      break;
    }
    n= n/10;
  }
  if(flag==0)
    cout << "No";
  return 0;
  
}




