#include <bits/stdc++.h>
using namespace std;
using ll = long long;

int main(){
  string s; cin >> s;
  string res = "No";
  for(auto x : s){
    if(x == '7') res = "Yes";
  }
  cout << res << endl;
  return 0;
}