#include<bits/stdc++.h>

//短縮
#define rep(i,n) for(int i=0;i<(n);++i)
//sort()用
#define all(v) v.begin(), v.end()



using namespace std;

int main(){
  string N;
  cin >>N;
  int flag=0;
  rep(i,3){
    if(N.at(i)=='7')flag=1;
  }
  if(flag) cout << "Yes";
  else cout << "No";

  return 0;
}
