function Main(input) {
	tmp = input.split(" ");
	a=0;
	b=0;
	c=0;
	d=0;
	e=parseInt(tmp[0])+parseInt(tmp[1])+parseInt(tmp[2])+parseInt(tmp[3]);
	for ( var i = 0 ; i < 4 ; i++ ){
		if(tmp[i]=="1"){
			a=1;
		}
		if(tmp[i]=="9"){
			b=1;
		}
		if(tmp[i]=="7"){
			c=1;
		}
		if(tmp[i]=="4"){
			d=1;
		}
	}
	if(a==1 && b==1 && c==1 && d==1 && e==21){
		console.log("YES");
	}else{
		console.log("NO");
	}
}
Main(require("fs").readFileSync("/dev/stdin", "utf8"));