#include <stdio.h>
int main(void){
  int n = 0;
  scanf("%d",&n)
  int x = n / 100;
  if(x != 7){
    int y = (n - x*100) / 10;
    if (y != 7){
      int z = (n - X*100 - y*10);
      if(z != 7){
        printf("no");
        return 0;
      } else {
        printf("yes");
        return 0;
      }
    } else {
      printf("yes");
      return 0;
    }
  } else {
    printf("yes");
    return 0;
  }
}