import java.util.*;
import java.lang.*;

public class Main {
    public static void main(String[] args) {

        Scanner s = new Scanner(System.in);

        int n =s.nextInt();

        int x=0;

        while(n>0){

            int digit = n%10;
            n=n/10;

            if(digit==7){
                x++;
                break;
            }
        }

        if (x>0){
            System.out.println("Yes");
        }
        else{
            System.out.println("No");
        }

    }
}





/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