class Main{public static void main(String[]a){System.out.print(new java.util.Scanner(System.in).next().replace("7","").length()==3?"No":"Yes");}} class Main{public static void main(String[]a){System.out.print(new java.util.Scanner(System.in).next().replace("7","").length()==3?"No":"Yes");}} Main public static void main(String[]a){System.out.print(new java.util.Scanner(System.in).next().replace("7","").length()==3?"No":"Yes");} main {System.out.print(new java.util.Scanner(System.in).next().replace("7","").length()==3?"No":"Yes");} System.out.print(new java.util.Scanner(System.in).next().replace("7","").length()==3?"No":"Yes") System.out.print System.out System System.out new java.util.Scanner(System.in).next().replace("7","").length()==3?"No":"Yes" new java.util.Scanner(System.in).next().replace("7","").length()==3 new java.util.Scanner(System.in).next().replace("7","").length() new java.util.Scanner(System.in).next().replace("7","").length new java.util.Scanner(System.in).next().replace("7","") new java.util.Scanner(System.in).next().replace new java.util.Scanner(System.in).next() new java.util.Scanner(System.in).next new java.util.Scanner(System.in) "7" "" 3 "No" "Yes" String[]a a
class Main{public static void main(String[]a){System.out.print(new java.util.Scanner(System.in).next().replace("7","").length()==3?"No":"Yes");}}