#!/usr/bin/ruby
s=gets.chomp.chars.map(&:to_i)
if [0,6,7].include?(s[-1])
	puts :No
	exit
end
f=true
(s.size-1).downto(0){|i|
	if f&&[2,3,4].include?(s[i])
		if i==0
			puts :No
			exit
		end
		s[i-1]-=1
	elsif [0,6,7].include?(s[i])
		f=false
	else
		puts :No
		exit
	end
}
puts :Yes