#include <stdio.h>

void main(void) {
	char err[10] = "a";
	scanf("%s",err);
	if(err[0] == '4' || err[0] == '5'){
		printf("Yes");
	}else{
		printf("No");
	}
}