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

  int main() {

    string<int> N;
    cin >> N;
    int count=0;
    for(int i=0; i<2; i++){
      if(N.at(i)==7){
        cout << 'Yes';
        break;
      }
      else
        count++;
    }
    if(count==3)
      cout << 'No';
  }
      
