s=gets.chomp

if /\A(1|[6-7]*[7-8])[3-5]*[2-4]\Z/ =~ s then
  puts "Yes"
else
  puts "No"
end