using namespace std;
#include<cstdlib>


int main(){
  string N;
  cin >> N;

  string ans = "No";

  for(int i=0; i<N.size(); i++){
    if(N.at(i) == '7') ans = "Yes";
  }

  cout << N << endl;
   
}