#include<stdio.h>
#include<stdlib.h>
#include<stdint.h>
#include<inttypes.h>
#include<time.h>

typedef int32_t i32;

void run (void) {
  srand((unsigned)time(NULL));
  i32 m = rand()%1000;
  puts(m <= 600 ? "Yes" : "No");
}

int main (void) {
  run ();
  return 0;
}