import java.util.*;

class Main {
    public static void main (String[] args) {
        Scanner sc = new Scanner(System.in);
        String N = sc.next();
        String judge = "No";
        for (int i = 0; i < 3; i++) {
            if (N.charAt(i) == '7') {
                judge = "Yes";
                break;
            }
        }
        System.out.println(judge);

    }
} import java.util.*; util.* java class Main {
    public static void main (String[] args) {
        Scanner sc = new Scanner(System.in);
        String N = sc.next();
        String judge = "No";
        for (int i = 0; i < 3; i++) {
            if (N.charAt(i) == '7') {
                judge = "Yes";
                break;
            }
        }
        System.out.println(judge);

    }
} Main public static void main (String[] args) {
        Scanner sc = new Scanner(System.in);
        String N = sc.next();
        String judge = "No";
        for (int i = 0; i < 3; i++) {
            if (N.charAt(i) == '7') {
                judge = "Yes";
                break;
            }
        }
        System.out.println(judge);

    } main {
        Scanner sc = new Scanner(System.in);
        String N = sc.next();
        String judge = "No";
        for (int i = 0; i < 3; i++) {
            if (N.charAt(i) == '7') {
                judge = "Yes";
                break;
            }
        }
        System.out.println(judge);

    } Scanner sc = new Scanner(System.in); sc new Scanner(System.in) String N = sc.next(); N sc.next() sc.next sc String judge = "No"; judge "No" for (int i = 0; i < 3; i++) {
            if (N.charAt(i) == '7') {
                judge = "Yes";
                break;
            }
        } int i = 0; int i = 0; i 0 i < 3 i 3 i++ i++ i {
            if (N.charAt(i) == '7') {
                judge = "Yes";
                break;
            }
        } {
            if (N.charAt(i) == '7') {
                judge = "Yes";
                break;
            }
        } if (N.charAt(i) == '7') {
                judge = "Yes";
                break;
            } N.charAt(i) == '7' N.charAt(i) N.charAt N i '7' {
                judge = "Yes";
                break;
            } judge = "Yes" judge "Yes" break; System.out.println(judge) System.out.println System.out System System.out judge String[] args args
import java.util.*;

class Main {
    public static void main (String[] args) {
        Scanner sc = new Scanner(System.in);
        String N = sc.next();
        String judge = "No";
        for (int i = 0; i < 3; i++) {
            if (N.charAt(i) == '7') {
                judge = "Yes";
                break;
            }
        }
        System.out.println(judge);

    }
}