#include "iostream"
using namespace std;
 
int main(){
 
  char n[3];
   
  cin >> n[0] >> n[1] >> n[2] ;
  
  if(n[0]='7' || n[0]='7' || n[0]='7' )cout << "Yes";
  else cout <<"No";
  
  return 0;
  
}