AT_keyence2019_a Beginning

Description

[problemUrl]: https://atcoder.jp/contests/keyence2019/tasks/keyence2019_a $ 4 $ 個の数字 $ N_1,\ N_2,\ N_3,\ N_4 $ が与えられます.これらを並べ替えて $ 1974 $ という数字の列を作ることが出来るかを判定してください.

Input Format

入力は以下の形式で標準入力から与えられる. > $ N_1 $ $ N_2 $ $ N_3 $ $ N_4 $

Output Format

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

Explanation/Hint

### 制約 - $ 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 $ となっています.