#include <bits/stdc++.h>
using namespace std;
#define rep(i,n) for (ll i=1; i<=(n); ++i)
typedef long long ll;
bool debug=false;
string yes = "Yes";
string no = "No";
int main(){
  string k; cin >> k;
  if(k[0]=='7'||k[1]=='7'||k[2]=='7') cout << yes;
  else cout << no;
  return 0;
}
