#include <stdio.h>

int main()
{
	char S[5];
	scanf("%s", S);
	if (S[0] == '4' || S[0] == '5') printf("Yes\n");
	else printf("No\n");
	fflush(stdout);
	return 0;
}