#include <iostream>
using namespace std;
int main(){
  char a;
  int b=0;
  for(int i=0;i<3;i++){
    cin>>a;
    if(a==7){b=1;}
  }
  if(b==0){
    cout << "No"<<endl;
  }else{
    cout << "Yes"<<endl;
  }
}