p 6 == (1..gets.chomp.to_i).map{|i|i%6+1}.uniq.size ? "Yes" : "No"