2065 - ラッキーナンバーが知りたいKamba君

問題

Kamba君は自分のラッキーナンバーを知りたがっています。Kamba君の誕生日は 7月4日 です。
ある整数 $N$ が与えられた時、それがKamba君のラッキーナンバーであるかを判定してください。

ラッキーナンバーの定義

次の2つの条件のうち、いずれか一方、または両方を満たす整数 $N$ を、ある人のラッキーナンバーとします。

• $N$ の中に、誕生日を構成する 0 以外の数字が含まれている。
• $N$ が、誕生日を構成する 0 以外の数字のいずれかの倍数である。

Kamba君の場合、誕生日が7月4日なので、誕生日を構成する数字は 7 と 4 になります。

入力

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

$N$

整数 $N$ が与えられる。

出力

Kamba君のラッキーナンバーであるならば Yes, そうでないならば No を出力すること。また、出力の最後に改行を入れること。

制約

全ての入出力ケースについて以下を満たす。

• $0 \leq N \leq 7.4 \times 10^{17}$
• 入力は 0 または自然数である。

入出力例

入力例1

1357

出力例1

Yes

入力例2

1234

出力例2

Yes

入力例3

21

出力例3

Yes

入力例4

16

出力例4

Yes

入力例5

11

出力例5

No

入力例6

8854187812813

出力例6

Yes

オーバーフローに気を付けてください。