s = gets.to_i

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