s = gets.chomp

if "4" in s
    puts "Yes"
elsif "5" in s
    puts "Yes"
else
    puts "No"
end