// inputに入力データ全体が入る
function Main(input) {
	// 1行目がinput[0], 2行目がinput[1], …に入る
	input = input.split("\n");
	tmp = input[0].split(" ");
	//文字列から10進数に変換するときはparseIntを使います
   tmp.sort(function(a,b){
    if( a < b ) return -1;
    if( a > b ) return 1;
    return 0;
	})
   
   result = tmp.toString() == [1,4,7,9] ? 'YES' :'NO';
   console.log(result)

}
//*この行以降は編集しないでください（標準入出力から一度に読み込み、Mainを呼び出します）
Main(require("fs").readFileSync("/dev/stdin", "utf8"));