puts gets.chomp=~/\A(1|[67]*[78])[345]*[234]\z/?"Yes":"No"