题目描述

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

输入格式

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

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

输出格式

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

题目大意

你有四个数字 $N_1 N_2 N_3 N_4$，确定是否可以将它们安排在数字序列“ $1974$”中。

1 7 9 4

YES

1 9 7 4

YES

1 2 9 1

NO

4 9 0 8

NO

提示

制約

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

Sample Explanation 1

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

Sample Explanation 2

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