#include <bits/stdc++.h>
using namespace std;
 
int main() {
  int a;
  cin>>a;
  int b=a/100;
  int c=a%100/10;
  int d=a%10;
  
 if(b!=7 && c!=7 && d!=7){
   cout<<"Yes"<<endl;
 }
  else{
    cout<<"No"<<endl;
  }
}
   