x;main(_){
	gets(&_);
	read(0,&x,4);
	puts(
		x==0x300a0000||
		x==0x310a0000||
		x==0x30310a00||
		x==0x31300a00||
		x==0x3031300a||
		x==0x3130310a
		?"NO":"YES"
	);
	return 0;
}