#include <iostream>
using namespace std;
typedef long long ll;
typedef double dl;
const int iNF = 1e9 + 100;
//const ll INF = 1e18 + 100;
typedef pair<int, int> pii;
 
#define EPS (1e-9)
#define inf 1e19
#define PI acos(-1.0)

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