#include <iostream>
using namespace std;
int main(){
    string number;
    cin >> number ;
    
      if(number.at(0)=='7'||number.at(1)=='7'||number.at(2)=='7'){
          cout<<"Yes"<< endl;          
      }
      else{
          cout<<"No"<< endl;
      }
}