bool judgeSeven_100(int input){
	int hundredsPlace = input / 100;
  	bool isSeven = false;
  
  if(hundredsPlace == 7){
  	isSeven = true;
  }
  	
  return isSeven;
}

bool judgeSeven_10(int input){
	int tensPlace = (input % 100) / 10;
  bool isSeven = false;
  
  if(tensPlace == 7){
    isSeven = true;
  }
  
	return isSeven;
}

bool judgeSeven_1(int input){
	int onesPlace = (input % 10);
  bool isSeven = false;
  
  if(onesPlace == 7){
  	isSeven = true;
  }

  return isSeven;
}

int main(void){
  int input;
  string output = "No";
  
  cin >> input;
  
  if(judgeSeven_100() == true){
    output = "YES";
  }
  else if(judgeSeven_10() == true){
  	output = "YES";
  }
  else if(judgeSeven_1() == true){
    output = "YES";
  }
  
  cout << output;
  
  return 0;
}  