配点 : $100$ 点

問題文

$4$ 個の数字 $N_1, N_2, N_3, N_4$ が与えられます．これらを並べ替えて $1974$ という数字の列を作ることが出来るかを判定してください．

制約

• $0 \leq N_1, N_2, N_3, N_4 \leq 9$
• $N_1, N_2, N_3, N_4$ は整数

入力

入力は以下の形式で標準入力から与えられる．

$N_1$ $N_2$ $N_3$ $N_4$

出力

$N_1, N_2, N_3, N_4$ を並べ替えて $1974$ という数字の列を作ることが出来るなら YES を，出来ないなら NO を出力せよ．

1 7 9 4

YES

$N_2$ と $N_3$ を入れ替えると $1974$ となります．

1 9 7 4

YES

何もしなくても $1974$ となっています．

1 2 9 1

NO

4 9 0 8

NO