#include <iostream>
using namesapce std;

int main(){
 int a;
  cin >> a;
  for(int i = 0; i < 3; i++){
  if(a%10==7){
   cout << "yes" << endl;
    return 0;
  }
    a/=10;
  }
  cout << "No" << endl;
}