mux used to select timer by wash_control