#include<bits/stdc++.h>

using namespace std;

typedef long long ll;

  int main() {
  int n,a,b,c,flag=0;
  cin >> n;
  a = n%10;
  b = (n%100 - a)/10;
  c = n/100;
  if(a == 7){
  flag = 1;
  }
  if(b == 7){
  flag = 1;
  }
  if(c == 7){
  flag = 1;
  }
  if(flag == 0){
  cout << "No" << endl;
  }
  if(flag == 1){
  cout << "Yes" << endl;
  }
  return 0;
}
