#include <bits/stdc++.h>
#include <vector>
#include <iostream>
#include <map>
#include <cmath>
#include <string>
using namespace std;

#define rep(i, n) for (int i = 0; i < (n); ++i)
#define REP(i,a,b)for(int i=(int)(a);(i)<(int)(b);i++)

typedef long long ll;


ll gcd(ll a, ll b) { return b ? gcd(b, a%b) : a; }
ll lcm(ll c, ll d) { return c / gcd(c, d) * d; }

int main() {
  int n;
  cin >> n;
  int hund = n/100;
  n = n%100;
  int ten = n/10;
  n = n%10;
  int one = n;

  cout << ((hund == 7 || ten == 7 || one == 7) ? "Yes" : "No") << endl;
  return 0;
}