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

int main(){
  string N;
  int flag=0;
  cin>>N;
  for(int i=0;i<N.size();i++){
    if(N.at(i)=='7')flag=1;
  }
  if(flag==1){
    cout<<"Yes"<<endl;
  }else{
    cout<<"No"<<endl;
  }
}