题目描述

小晨很喜欢数字，他认为十进制的数字中仅包含4或者7，则这个数字就是幸运数字，例如4，7，47，774是幸运数字，17，467，817则不是幸运数字。现在他有一个数字n，请你帮他判断是否是幸运数字。

输入格式

输入一个整数n

输出格式

如果n是一个接近幸运的数字，则在单行上打印“ YES ” 。否则，打印“ NO ”（不带引号）。

40047

NO

数据规模

$1\le n \le 10^{18}$