#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
int main(void)
{
  string s;
  cin >> s;
  if(s[0] == '7') cout << "Yes\n";
  else if(s[1] == '7') cout << "Yes\n";
  else if(s[2] == '7') cout << "Yes\n";
  else cout << "No\n";
  return 0;
}
