#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
#define rep(i,n)for(int i=0;i<n;i++)

const ll INF = 1001001001;

int main(){
  int n; cin>>n;
  int a=n/100;
  int b=(n%100)/10;
  int c=n%10;
  if(a==7 || b==7 || c==7){
    cout<<"Yes"<<endl;
  }else{
    cout<<"No"<<endl;
  }
}