import java.util.Scanner;

/**
 * A - Lucky 7
 * 3  桁の整数 N が与えられます。
 * N のいずれかの桁に数字の 7 は含まれますか？
 * 含まれるなら Yes を、含まれないなら No を出力してください。
 */
public class Main {

    public static void main(String[] args) {

        Scanner sc = new Scanner( System.in );
        // 入力された整数
        int n = sc.nextInt();

        System.out.println( String.valueOf( n ).contains( "7" ) ? "Yes" : "No" );

        sc.close();
    }
}
/tmp/hf-datasets-cache/medium/datasets/42704881117311-config-parquet-and-info-qiankunmu-Project_CodeNet-896c9d36/hub/datasets--qiankunmu--Project_CodeNet_Python800_and_Java250/snapshots/c899fde44a77ba1cc14973ed3de064e4ff3aadc7/Project_CodeNet_Java250.tar.gz