#include<iostream>
using namespace std;
int main(){
  int n;
  cin>>n;
  if(n/100==7){
    cout<<"Yes"<<endl;
    return 0;
  }
  else if(n/10==17||n/10==27||n/10==37||n/10==47||n/10==57||n/10==67||n/10==77||n/10==87||n/10==97){
    cout<<"Yes"<<endl;
    return 0;
  }
  else if(n%10==7){
    cout<<"Yes"<<endl;
  }
  else{
    cout<<"No"<<endl;
  }
}
