#include<bits/stdc++.h>
#define  forn(i, n)  for(int i=0; i < (int)n; i++)
using namespace std ;
// #define INPUT_OUTPUT { \
//  freopen("input.txt","r",stdin) ; \
//  freopen("output.txt","w",stdout) ; \
// }
void solve() {
  string s ;
  cin >> s ;
  for(char c : s) {
    if(c == '7'){ 
      cout << "Yes" ;
      return;
    }
  }
  cout << "No" ;
}
int main() {
  // INPUT_OUTPUT ;
  int t=1;
  //cin >> t ;
  while(t--) solve() ;
  return 0 ;
}