#include<stdio.h>
void main(){
  int n, r;
  scanf("%d",&n);
    r = n%100;
    if(r == 7)
    {
        printf("Yes");
    }    
    else
    {
      n= n/100;
      r = n%10;
      if(r == 7)
      {
      printf("Yes");
      }
      else
      {
        n = n/10;
        if(n == 7)
        printf("Yes");
        else
        printf("No");
      }
    }
}
    
