p03149 KEYENCE Programming Contest 2019 - Beginning
You are given four digits N_1, N_2, N_3 and N_4. Determine if these can be arranged into the sequence of digits "1974".

Constraints

* 0 \leq N_1, N_2, N_3, N_4 \leq 9
* N_1, N_2, N_3 and N_4 are integers.

Input

Input is given from Standard Input in the following format:


N_1 N_2 N_3 N_4


Output

If N_1, N_2, N_3 and N_4 can be arranged into the sequence of digits "1974", print `YES`; if they cannot, print `NO`.

Examples

Input

1 7 9 4


Output

YES


Input

1 9 7 4


Output

YES


Input

1 2 9 1


Output

NO


Input

4 9 0 8


Output

NO
```python
n = input().split()
n.sort()
print("YES" if "".join(n) == "1479" else "NO")
```