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

int main(){
  int a,k=0;
  cin >> a;
  for(int i=0;i<a.size();i++){
    if(a.at(i)==7){
      k++
    }
  }
  if(k=0){
    cout <<"No";
  }
  else{
    cout <<"Yes"
  }
}