import java.io.*;

class Main
{
    public static void main(String args[])
    {
        String buf;
        try {
        BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
        buf = br.readLine();
        char seven = '7';
        for(int i = 0; i < buf.length(); i++){
            if ( buf.charAt(i)  == seven){
                System.out.println("Yes");
                break;
            }else if( i == 2 ){
                System.out.println("No");
                break;
            }
        }
    } catch(Exception e) {}
  }
} import java.io.*; io.* java class Main
{
    public static void main(String args[])
    {
        String buf;
        try {
        BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
        buf = br.readLine();
        char seven = '7';
        for(int i = 0; i < buf.length(); i++){
            if ( buf.charAt(i)  == seven){
                System.out.println("Yes");
                break;
            }else if( i == 2 ){
                System.out.println("No");
                break;
            }
        }
    } catch(Exception e) {}
  }
} Main public static void main(String args[])
    {
        String buf;
        try {
        BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
        buf = br.readLine();
        char seven = '7';
        for(int i = 0; i < buf.length(); i++){
            if ( buf.charAt(i)  == seven){
                System.out.println("Yes");
                break;
            }else if( i == 2 ){
                System.out.println("No");
                break;
            }
        }
    } catch(Exception e) {}
  } main {
        String buf;
        try {
        BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
        buf = br.readLine();
        char seven = '7';
        for(int i = 0; i < buf.length(); i++){
            if ( buf.charAt(i)  == seven){
                System.out.println("Yes");
                break;
            }else if( i == 2 ){
                System.out.println("No");
                break;
            }
        }
    } catch(Exception e) {}
  } String buf; buf try {
        BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
        buf = br.readLine();
        char seven = '7';
        for(int i = 0; i < buf.length(); i++){
            if ( buf.charAt(i)  == seven){
                System.out.println("Yes");
                break;
            }else if( i == 2 ){
                System.out.println("No");
                break;
            }
        }
    } catch(Exception e) {} catch(Exception e) {} Exception e {} {
        BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
        buf = br.readLine();
        char seven = '7';
        for(int i = 0; i < buf.length(); i++){
            if ( buf.charAt(i)  == seven){
                System.out.println("Yes");
                break;
            }else if( i == 2 ){
                System.out.println("No");
                break;
            }
        }
    } BufferedReader br = new BufferedReader(new InputStreamReader(System.in)); br new BufferedReader(new InputStreamReader(System.in)) buf = br.readLine() buf br.readLine() br.readLine br char seven = '7'; seven '7' for(int i = 0; i < buf.length(); i++){
            if ( buf.charAt(i)  == seven){
                System.out.println("Yes");
                break;
            }else if( i == 2 ){
                System.out.println("No");
                break;
            }
        } int i = 0; int i = 0; i 0 i < buf.length() i buf.length() buf.length buf i++ i++ i {
            if ( buf.charAt(i)  == seven){
                System.out.println("Yes");
                break;
            }else if( i == 2 ){
                System.out.println("No");
                break;
            }
        } {
            if ( buf.charAt(i)  == seven){
                System.out.println("Yes");
                break;
            }else if( i == 2 ){
                System.out.println("No");
                break;
            }
        } if ( buf.charAt(i)  == seven){
                System.out.println("Yes");
                break;
            }else if( i == 2 ){
                System.out.println("No");
                break;
            } buf.charAt(i)  == seven buf.charAt(i) buf.charAt buf i seven {
                System.out.println("Yes");
                break;
            } System.out.println("Yes") System.out.println System.out System System.out "Yes" break; if( i == 2 ){
                System.out.println("No");
                break;
            } i == 2 i 2 {
                System.out.println("No");
                break;
            } System.out.println("No") System.out.println System.out System System.out "No" break; String args[] args
import java.io.*;

class Main
{
    public static void main(String args[])
    {
        String buf;
        try {
        BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
        buf = br.readLine();
        char seven = '7';
        for(int i = 0; i < buf.length(); i++){
            if ( buf.charAt(i)  == seven){
                System.out.println("Yes");
                break;
            }else if( i == 2 ){
                System.out.println("No");
                break;
            }
        }
    } catch(Exception e) {}
  }
}