#include<iostream>
using namespace std;
int main(){
  int n;
  cin>>n;
  if(n/100==7){
    cout<<"Yes"<<endl;
    return 0;
  }
  else{
    n=n%100;
  }
  if(n/10==7){
    cout<<"Yes"<<endl;
    return 0;
  }
  else{
    n=n%10;
  }
  if(n%10==7){
    cout<<"Yes"<<endl;
  }
  else{
    cout<<"No"<<endl;
  }
}
