#include <bits/stdc++.h>
#define ll long long
#define all(x) x.begin(),x.end()
#define TESTCASES 0

using namespace std;

string s;

int Go(){

  cin >> s;

  bool is = 0;
  for(auto c : s) is |= (c == '7');

  puts(is ? "Yes" : "No");

  return 0;
}


int main(){

  int t;
  if(TESTCASES) scanf("%d",&t); 
  else          t = 1;
  
  while(t--) Go();
} 