// inputに入力データ全体が入る
function Main(input) {
    input = input.split(" ").map(e => Number(e)).sort();
    console.log(input[0] === 1 && input[1] === 4 && input[2] === 7 && input[3] === 9 ? 'YES' : 'NO');
}
//*この行以降は編集しないでください（標準入出力から一度に読み込み、Mainを呼び出します）
Main(require("fs").readFileSync("/dev/stdin", "utf8"));