#include<bits/stdc++.h>
#define rep(i, n) for(i = 0; i < (n); ++i)
using namespace std;
typedef long long ll;
typedef pair<int, int> P;
#define MOD 1000000007

int main(){
  string N, ans;
  cin >> N;
  
  if(N[0] == '7' || N[1] == '7' || N[2] == '7')
    ans = "Yes";
  else
    ans = "No";

  cout << ans << endl;
  return 0;
}