#include <bits/stdc++.h>
using namespace std;

int main() {
  string s;
 int a,b,c,d;
  a=0;
 cin>>s;
  for(int i =0;i<3;i++){
  	if(s.at(i)=='7'){
    	a=1;
    }
  }
  if(a==1)cout<<"Yes"<<endl;
  else cout<<"No"<<endl;
 

}
