#include<bits/stdc++.h>
using namespace std;
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
int main(){
  string n;
  cin >> n;
  if(n[0]=='7'||n[1]=='7'||n[2]=='7')cout << "Yes" << endl;
  else cout << "No" << endl;
}
