#include <bits/stdc++.h>

#define pb push_back
#define ll long long
using namespace std;



int main() {
   int n; cin >> n;
   while(n) {
     int a = n%10;
     if(a == 7) {
        cout << "Yes" << endl;
        return 0;
     }
     n /= 10;
   }
   cout << "No" << endl;
   return 0;
}
