Problem:
Score : 100 points

Problem Statement

Given is a three-digit integer N. Does N contain the digit 7?

If so, print Yes; otherwise, print No.

Constraints

100 \leq N \leq 999

Input

Input is given from Standard Input in the following format:

N

Output

If N contains the digit 7, print Yes; otherwise, print No.

Sample Input 1

117

Sample Output 1

Yes

117 contains 7 as its last digit.

Sample Input 2

123

Sample Output 2

No

123 does not contain the digit 7.

Sample Input 3

777

Sample Output 3

Yes

Solution in PHP (7.4.4) (judge verdict: Accepted)

<?php
$jud = 0;
$N = trim(fgets(STDIN));  // 入力
$Nlen = strlen($N);
for ($i = 0; $i <= ($Nlen - 1); $i++) {
    if ($N[$i] == 7) {
        echo 'Yes';
        $jud = 1;
        break;
    }
}
if ($jud == 0) {
    echo 'No';
}