#include<iostream>
#include<string>
using namespace std;
int main(){
  string str;
  cin>>str;
  for(int i=0;i<str.size();i++){
    if(str[i]=='7'){
      cout<<"Yes"<<endl;
      return(0);
    }
  }
  cout<<"No"<<endl;
  return(0);
}
