#include <stdio.h>
int main(){
  int m=0,n,cnt=0,i=0;
  scanf("%d",&n);
   while(n!=0){
    number = n / 10;
    ++cnt;
  }
	while(cnt>0){
      m=n%10;
      i=m*10;
      if(m-i==7){
        printf("Yes\n");
        return 0;
      }
    }

        printf("No\n");
}