#define _GLIBCXX_DEBUG
#include<bits/stdc++.h>
using namespace std;
#define ll long long
#define rep(i,N) for(int i = 0;i < (int)(N);i++)
int main(){
  int n;
  cin>>n;
  int x=n%10;
  int y=n/100%10;
    int z=n/10%10;
  string ans="No";
  if(x==7||y==7||z==7){
    ans="Yes";
  }
  cout<<ans<<endl;
}
