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


int main(){
	string N;
  bool check=false;
  cin>>N;
  rep(i,3){
  	if(N[i]=='7') check=tru;
  }
  if(check){
  	cout<<"Yes";
  }else{
  	cout<<"No";
  }
}
