#include<stdio.h>
int main()
{
  int n,c=0;
  scanf("%d",&n);
  while(n!=0)
  {
    ans=n%10;
    if(n==7)
    {
      c=1;
      break;
    }
    n/=10;
  }
  if(c==0)
    printf("No");
  else
    printf("Yes");
  return 0;
}
  