#include <string>
#include <algorithm>
#include <iostream>
using namespace std;


int main(){
  string N;
  cin >> N;
  cout << (find(N.begin(), N.end(), '7')!=N.end()?"Yes":"No") << endl;
  return 0;
}
