#include <iostream>
#include <string>

using namespace std;

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