#include <bits/stdc++.h>
using namespace std;

main(){
  int s ;
  cin >> s ;
  int check = 0 ;
  int keta = 1 ;
  string ss = to_string(s) ;
  for(int i=0;i<3;i++){
    if(ss[i]=="7") check = 1 ;
  }
  if(check){
    cout << "Yes" ;
    return 0 ;
  }
  cout << "No" ;
  return 0 ;
}
