let s = read_line ();;
let a = 
	if s.[0] == '7' then 1 else 0;;
let b = 
	if s.[1] == '7' then 1 else 0;;
let c = 
	if s.[2] == '7' then 1 else 0;;
if a + b + c > 0 then print_string ("Yes") else print_string ("No");;