#include<stdio.h>
int main(){
  int n ;
  scanf("%d",&n);
  if (700<=n && n<=799)
    printf("Yes");
  else if (n%10==7)
    printf ("Yes");
  else if (70<=n%100 && n%100<=79)
    printf ("Yes");
    else printf ("No");
  return 0;
  }