#include<iostream>
using namespace std;
int main(){
  int n;
  cin>>n;
  int flag=0;
  while(n!=0){
      int x=n%10;
      if(x==7){
          cout<<"Yes"<<endl;
          flag=1;
          break;
      }
      n/=10;
    
  }
  if(flag==0){
      cout<<"No"<<endl;
  }
  
 return 0; 
}