puts gets.chomp=~/\A[67]*[178][345]*[234]\z/?"Yes":"No"