配点 : $100$ 点

問題文

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

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

制約

• $100 \leq N \leq 999$

入力

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

$N$

出力

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

117

Yes

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

123

No

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

777

Yes