#include<stdio.h>

char[] main(int argc, char *argv[]){
  char ret[];
  if(argv[0] == 7 || argv[1] == 7 ||argv[2] == 7){
  	return sprintf(&ret[0],"Yes);
  }else{
    return sprintf(&ret[0],"No);
  }
}
  
  
  