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

int main() {
 int N;
  cin >> N;
  int A = 0
  if(N[0] == 7)A++;
     if(N[1] == 7)A++;
        if(N[2] == 7)A++;
  if(A > 0){
    cout << "Yes" << << endl;
  }
else{
  cout << "No"  << endl;
}
}
