問題文

$3$ 桁の整数 $N$ が与えられます。$N$ のいずれかの桁に数字の $7$ は含まれますか？

含まれるなら Yes を、含まれないなら No を出力してください。

制約

• $100 \\leq N \\leq 999$

入力

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

$N$

出力

$N$ のいずれかの桁に $7$ が含まれるなら Yes を、含まれないなら No を出力せよ。

入力例 1

117

出力例 1

Yes

$117$ は $1$ の位が $7$ です。

入力例 2

123

出力例 2

No

$123$ は $7$ を含みません。

入力例 3

777

出力例 3

Yes