#include<bits/stdc++.h>

using namespace std;

int main(){
  string N;
  cin >> N;
  string answer = "No" ;
  
  if(N.at(0) == '7' || N.at(1) == '7' || N.at(2) == '7'){
    answer = "Yes";
  }
  
  cout << answer << endl;

  return 0;
}

