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

int main() {
  
 string s;  
  cin >> s; 
  int f=  0 ; 
  for (int i = 0; i < s.size() ; i ++ )
    if ( s[i] == '7' )
    {
      fo = 1 ; 
      break ; 
    }
  if ( fo == 1 )
    	cout << "Yes" << endl; 
 	else 
      	cout << "No" << endl ; 
  
}
  
}